Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
111	Engineers’ Guide to FPGA & PLD Solutions Automotive Electronics Fuels Need for High-Reliability Devices FPGAs: Good Company in Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-03 08:15:35 Electronic design automation Reconfigurable computing Field-programmable gate array Xilinx Altera Logic synthesis Application-specific integrated circuit Synopsys High-level synthesis Electronic engineering Electronics Fabless semiconductor companies
112	Programming with Constraint Solvers CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-04 09:58:41 Computing Constraint programming Numerical software Declarative programming Prolog Logic programming Solver Function B-Prolog Software engineering Computer programming Programming paradigms
113	Synopsys FPGA and Simulink-Based Design Solutions for Automotive Synopsys Automotive Seminar – Japan May 2012 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-01-15 08:15:47 Electronic design Fabless semiconductor companies Integrated circuits Field-programmable gate array Logic synthesis High-level synthesis Xilinx Synopsys Integrated circuit design Electronic engineering Electronics Electronic design automation
114	1997 International Workshop on Field Programmable Logic and Applications VPR: A New Packing, Placement and Routing Tool for FPGA Research1 Vaughn Betz and Jonathan Rose Department of Electrical and Computer Engineering, Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 1999-12-10 09:14:26 Field-programmable gate array Place and route Placement Xilinx Application-specific integrated circuit Physical design Standard cell Logic synthesis Routing Electronic engineering Electronic design automation Electronics
115	I. AUTHORS 1. Adrian Stoica Jet Propulsion Laboratory, 4,800 Oak Grove Dr. Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:25:13 Digital electronics Integrated circuits Logic gates CMOS NOR gate OR gate Logic synthesis Electronic circuit Application-specific integrated circuit Electronic engineering Electronics Electronic design
116	Synthesis of Loop-free Programs Sumit Gulwani Susmit Jha ∗ Ashish Tiwari † Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-06-03 21:06:21 Applied mathematics Satisfiability Modulo Theories Constraint satisfaction problem Boolean satisfiability problem Constraint logic programming Decomposition method Theoretical computer science Constraint programming Declarative programming
117	EE 219B LOGIC SYNTHESIS, MAY[removed]Software Optimization Using Hardware Synthesis Techniques Bret Victor, [removed] Add to Reading List Source URL: worrydream.com Language: English - Date: 2001-01-06 03:41:13 Procedural programming languages Bc programming language C Logic synthesis ALGOL 68 Algorithm Static single assignment form Boolean data type SystemVerilog Computing Software engineering Programming language theory
118	18th Euromicro Conference on Digital System Design Funchal, Madeira, Portugal - August 26-28, 2015 DSD 2015 Add to Reading List Source URL: paginas.fe.up.pt Language: English - Date: 2015-02-19 10:58:39 Emerging technologies EUROMICRO Synthetic biology Agilent Technologies Memristor Logic synthesis Physical design High-level synthesis European Train Control System Electronic design automation Electronic engineering Technology
119	Appears in the Proceedings of the 47th Int’l Symp. on Microarchitecture (MICRO-47), December[removed]PyMTL: A Unified Framework for Vertically Integrated Computer Architecture Research Derek Lockhart, Gary Zibrat, and Ch Add to Reading List Source URL: csl.cornell.edu Language: English - Date: 2015-03-29 23:28:17 Hardware description languages Hardware verification languages Logic design Technical communication Verilator Verilog High-level synthesis VHDL Logic simulation Electronic engineering Digital electronics Electronic design automation
120	Success Story Synopsys and STMicroelectronics Noida ST Noida Quickly Achieves Advanced Video Compression with Synphony C Compiler Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-12-18 07:15:55 Synopsys Compiler SystemC CPU design Catapult C Logic synthesis Electronic engineering Electronic design automation High-level synthesis

UPDATE